The design, synthesis, and crystallographic analysis of protein-inhibitor complexes is described for a novel series of nonpeptidic HIV protease (HIV Pr)inhibitors. Beginning with a cocrystal structure of a Phe-Pro peptidomimetic bound to the HIV Pr, design was initiated that resulted in the substituted 2-butanol compound 8 as the lead compound (Ki = 24.5 microM, racemic mixture). Modifications on the initial compound were then made on the basis of its cocrystal structure with HIV Pr and inhibition data, resulting in compounds with enhanced potency against the enzyme (compound 18, Ki = 0.48 microM). These inhibitors were found to bind to the enzyme essentially as predicted on the basis of the original design hypothesis. Stereospecific synthesis of individual enantiomers confirmed the prediction of a binding preference for the S alcohol stereochemistry. Modest antiviral activity was demonstrated for several of the more potent HIV Pr inhibitors in a HIV-1 infected CEM-SS cell line.